axiom of completeness

完备性公设;完备性公理